id.\*:("3-540-63379-0")
Results 1 to 1 of 1
Selection :
TPHOLs '97 : theorem proving in higher order logics (Murray Hill NJ, August 19-22, 1997)Gunter, Elsa L; Felty, Amy.Lecture notes in computer science. 1997, issn 0302-9743, isbn 3-540-63379-0, VIII, 337 p, isbn 3-540-63379-0Conference Proceedings